LetPair.agda:17,7-18
Expected record pattern
when checking the let binding a , b = p
